Morita Cohomology and Homotopy Locally Constant Sheaves
نویسنده
چکیده
We identify Morita cohomology, which is a categorification of the cohmology of a topological space X, with the category of homotopy locally constant sheaves of perfect complexes on X.
منابع مشابه
Parametrized Spaces Are Locally Constant Homotopy Sheaves
We prove that the homotopy theory of parametrized spaces embeds fully and faithfully in the homotopy theory of simplicial presheaves, and that its essential image consists of the locally homotopically constant objects. This gives a homotopy-theoretic version of the classical identification of covering spaces with locally constant sheaves. We also prove a new version of the classical result that...
متن کاملParametrized Spaces Model Locally Constant Homotopy Sheaves
We prove that the homotopy theory of parametrized spaces embeds fully and faithfully in the homotopy theory of simplicial presheaves, and that its essential image consists of the locally homotopically constant objects. This gives a homotopy-theoretic version of the classical identification of covering spaces with locally constant sheaves. We also prove a new version of the classical result that...
متن کاملSheaves in Homotopy Theory
Background and Motivation 1 1. Sheaves and Stacks 3 1.1. Sheaves 3 1.2. Stacks 4 2. Sheaves on Stacks 5 2.1. The Site of a Stack 5 2.2. The site (Mell)ét 6 2.3. Homotopy Limits and Sheaves of Spectra 7 2.3.1. Limits and Homotopy Limits 7 2.3.2. Derived Limits and Corrected Homotopy Limits 9 2.3.3. Sheaves of Orthogonal Spectra, Symmetric Spectra, and S-Modules 13 3. The Descent Spectral Sequenc...
متن کاملAbstract Homotopy Theory and Generalized Sheaf Cohomology
HOMOTOPY THEORY AND GENERALIZED SHEAF COHOMOLOGY BY KENNETHS. BROWN0) ABSTRACT. Cohomology groups Ha(X, E) are defined, where X is a topological space and £ is a sheaf on X with values in Kan's category of spectra. These groups generalize the ordinary cohomology groups of X with coefficients in an abelian sheaf, as well as the generalized cohomology of X in the usual sense. The groups are defin...
متن کاملThe Verdier hypercovering theorem
to the morphism f ·p−1, is a bijection provided that X and Y are locally fibrant in the sense that all of their stalks are Kan complexes. Here, π(Z, Y ) denotes simplicial homotopy classes of maps, and the colimit is indexed over homotopy classes represented by hypercovers p : Z → X. A hypercover is a map which is a trivial fibration of simplicial sets in all stalks, and is therefore invertible...
متن کامل